2.69/2.79	unsat
