21.71/23.45	unsat
