14.77/18.43	unsat
