15.29/20.48	unsat
