15.20/24.06	unsat
