5.06/5.33	unsat
