10.79/14.96	unsat
