5.18/8.33	unsat
