12.87/14.69	unsat
