15.66/20.46	unsat
