12.89/14.11	unsat
