18.67/23.73	unsat
