12.87/14.03	unsat
