20.14/20.34	unsat
