12.77/14.66	unsat
