20.14/21.48	unsat
