12.67/14.03	unsat
