20.24/20.34	unsat
