21.57/21.71	unsat
