12.78/14.61	unsat
