21.54/23.43	unsat
