18.77/23.67	unsat
