16.46/23.14	unsat
