21.48/21.71	unsat
