18.67/23.33	unsat
