18.56/20.48	unsat
