7.79/13.86	unsat
