12.68/14.15	unsat
