12.87/14.15	unsat
