5.01/6.33	unsat
