13.92/14.15	unsat
