19.56/21.02	unsat
