7.05/12.79	unsat
