7.77/12.82	unsat
