4.77/6.33	unsat
