20.54/21.68	unsat
